Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
181	E-ACSL User Manual E-ACSL Plug-in Release[removed]compatible with Frama-C Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-09-15 10:05:34 Computer programming Static program analysis Plug-in ANSI/ISO C Specification Language Software Computing Frama-C
182	User Manual Frama-C User Manual Release Sodium[removed]Loïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Program analysis Static program analysis Computer programming Plug-in Software Computing Frama-C
183	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
184	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
185	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation Software engineering Alias analysis Static program analysis X86 assembly language JMP IBM Basic assembly language PDP-8 Random access machine Assembly languages Computer architecture Computing
186	User Manual Frama-C User Manual Release Sodium[removed]Loïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Program analysis Static program analysis Computer programming Plug-in Software Computing Frama-C
187	Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:58 Data types Primitive types Memory management C++ Static program analysis Pointer C Data-flow analysis Abstract interpretation Computing Software engineering Computer programming
188	TOOLS & SOFTWARE Especially in embedded systems, software is engineering too By Fergus Bolger, PRQA Add to Reading List Source URL: www.programmingresearch.com Language: English - Date: 2013-08-14 04:34:38 Cross-platform software Source code Procedural programming languages Software bug C Static program analysis Pointer Debugging Naming convention Computer programming Computing Software engineering
189	Microsoft PowerPoint - 11_Grammatech Add to Reading List Source URL: www.iarpa.gov Language: English - Date: 2014-03-06 18:49:04 GrammaTech Program analysis Static program analysis
190	Delft University of Technology Software Engineering Research Group Technical Report Series A Controlled Experiment for Program Comprehension through Trace Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-09-08 04:46:10 Computational science Scientific modeling Computing Program analysis Visualization Program comprehension Reverse engineering Static program analysis Technology Infographics Computer graphics Science

UPDATE